component-output-disjoint{i:l}(ds;da;T1;T2;C1;C2)
== X1:Interface(ds;da;T1), X2:Interface(ds;da;T2), es:ES.
== es-decl(es;ds;da)  [[(C1(X1)).2]]  [[(C2(X2)).2]] = 0 

latex

---

clarification:

component-output-disjoint{i:l}
component-output-disjoint(ds; da; T1; T2; C1; C2)
== X1:Interface(ds;da;T1), X2:Interface(ds;da;T2), es:ES{i}.
== es-decl(es;ds;da)
==  es-interface-disjoint(es;abs-interface(es;(C1(X1)).2);abs-interface(es;(C2(X2)).2)) 

latex

Definitions	f(a), t.2, [[X]], X  Y = 0, es-decl(es;ds;da), P  Q, ES, x:A. B(x), Interface(ds;da;A)
FDL editor aliases	component-output-disjoint